Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 5, 6, 7, 8, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 23, 24 }

B grade: { 3, 4, 9, 15, 21, 22 }

C grade: { }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 15, 16, 17, 19, 20, 21, 22, 23, 24 }

B grade: { 8, 12, 14, 18 }

C grade: { }

F grade: { }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 9, 10, 11, 15, 16, 17, 19, 20, 21, 22, 23, 24 }

B grade: { 7, 8, 12, 13, 14, 18 }

C grade: { }

F grade: { }

2.1.5 FriCAS

A grade: { 1, 2, 4, 5, 6, 10, 11, 12, 16, 17, 18, 19, 22, 23, 24 }

B grade: { 3, 7, 8, 9, 13, 14, 15, 20, 21 }

C grade: { }

F grade: { }

2.1.6 Sympy

A grade: { 8, 11, 14, 16, 17, 18, 22, 23, 24 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 15, 19, 20, 21 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 6, 7, 8, 11, 13, 14, 17, 19, 20, 21, 22, 24 }

B grade: { 5, 9, 10, 12, 15, 16, 18, 23 }

C grade: { }

F grade: { }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24 }

C grade: { }

F grade: { }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 163 99 145 161 0 155 242
normalized size 1 1.00 1.79 1.09 1.59 1.77 0.00 1.70 2.66
time (sec) N/A 0.102 0.079 1.234 0.329 0.435 0.000 0.461 0.449




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 116 77 87 135 0 123 118
normalized size 1 1.00 1.61 1.07 1.21 1.88 0.00 1.71 1.64
time (sec) N/A 0.096 0.047 1.224 0.331 0.441 0.000 0.584 0.314




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 137 57 80 103 0 93 84
normalized size 1 1.00 2.69 1.12 1.57 2.02 0.00 1.82 1.65
time (sec) N/A 0.058 0.041 1.220 0.323 0.431 0.000 0.473 0.278




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 72 50 50 51 0 47 129
normalized size 1 1.00 2.18 1.52 1.52 1.55 0.00 1.42 3.91
time (sec) N/A 0.059 0.024 1.256 0.318 0.459 0.000 0.388 0.303




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 33 49 47 38 0 79 116
normalized size 1 1.00 0.79 1.17 1.12 0.90 0.00 1.88 2.76
time (sec) N/A 0.073 0.066 0.908 0.323 0.494 0.000 0.352 0.395




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 43 62 60 49 0 95 153
normalized size 1 1.00 0.80 1.15 1.11 0.91 0.00 1.76 2.83
time (sec) N/A 0.094 0.088 1.270 0.319 0.487 0.000 0.360 0.842




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 117 65 120 129 0 107 56
normalized size 1 1.00 1.92 1.07 1.97 2.11 0.00 1.75 0.92
time (sec) N/A 0.092 0.046 1.042 0.319 0.641 0.000 0.395 0.306




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 38 42 36 54 15 15
normalized size 1 1.00 1.00 2.24 2.47 2.12 3.18 0.88 0.88
time (sec) N/A 0.072 0.017 1.000 0.322 0.473 2.406 0.355 0.272




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 79 44 68 86 0 101 56
normalized size 1 1.00 2.08 1.16 1.79 2.26 0.00 2.66 1.47
time (sec) N/A 0.051 0.035 0.786 0.331 0.637 0.000 0.572 0.262




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 46 38 40 45 0 60 40
normalized size 1 1.00 1.70 1.41 1.48 1.67 0.00 2.22 1.48
time (sec) N/A 0.053 0.025 0.595 0.333 0.520 0.000 0.335 0.305




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 25 40 37 26 54 35 53
normalized size 1 1.00 0.86 1.38 1.28 0.90 1.86 1.21 1.83
time (sec) N/A 0.055 0.023 0.502 0.325 0.486 5.531 0.457 0.664




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 35 36 15 0 56 15
normalized size 1 1.00 1.00 2.06 2.12 0.88 0.00 3.29 0.88
time (sec) N/A 0.061 0.007 0.768 0.326 0.454 0.000 0.539 0.272




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 117 65 120 129 0 107 56
normalized size 1 1.00 1.92 1.07 1.97 2.11 0.00 1.75 0.92
time (sec) N/A 0.090 0.039 1.024 0.321 0.489 0.000 0.401 0.245




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 38 42 36 54 15 15
normalized size 1 1.00 1.00 2.24 2.47 2.12 3.18 0.88 0.88
time (sec) N/A 0.071 0.013 1.038 0.335 0.489 3.194 0.363 0.209




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 79 44 68 86 0 101 56
normalized size 1 1.00 2.08 1.16 1.79 2.26 0.00 2.66 1.47
time (sec) N/A 0.049 0.035 0.811 0.327 0.628 0.000 0.476 0.213




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 46 38 33 45 75 60 40
normalized size 1 1.00 1.70 1.41 1.22 1.67 2.78 2.22 1.48
time (sec) N/A 0.052 0.022 0.148 0.330 0.584 11.780 0.604 0.224




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 25 40 37 26 85 35 53
normalized size 1 1.00 0.86 1.38 1.28 0.90 2.93 1.21 1.83
time (sec) N/A 0.055 0.014 0.204 0.322 0.455 7.063 0.313 0.601




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 35 36 15 83 56 15
normalized size 1 1.00 1.00 2.06 2.12 0.88 4.88 3.29 0.88
time (sec) N/A 0.061 0.006 0.883 0.321 0.513 10.965 0.357 0.220




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 163 99 145 161 0 155 242
normalized size 1 1.00 1.79 1.09 1.59 1.77 0.00 1.70 2.66
time (sec) N/A 0.096 0.063 1.425 0.331 0.428 0.000 0.304 0.409




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 116 77 87 135 0 123 119
normalized size 1 1.00 1.66 1.10 1.24 1.93 0.00 1.76 1.70
time (sec) N/A 0.090 0.045 1.320 0.336 0.550 0.000 0.357 0.296




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 137 57 80 103 0 93 86
normalized size 1 1.00 2.69 1.12 1.57 2.02 0.00 1.82 1.69
time (sec) N/A 0.055 0.038 1.173 0.322 0.527 0.000 0.547 0.278




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 72 50 41 51 82 49 129
normalized size 1 1.00 2.18 1.52 1.24 1.55 2.48 1.48 3.91
time (sec) N/A 0.058 0.026 0.434 0.309 0.572 12.973 0.668 0.288




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 35 49 47 38 105 79 116
normalized size 1 1.00 0.83 1.17 1.12 0.90 2.50 1.88 2.76
time (sec) N/A 0.069 0.056 0.435 0.309 0.601 10.069 0.353 0.393




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 44 62 60 49 139 95 153
normalized size 1 1.00 0.81 1.15 1.11 0.91 2.57 1.76 2.83
time (sec) N/A 0.090 0.119 0.905 0.317 0.489 13.239 0.357 0.795










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [2] had the largest ratio of [.2414]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 7 6 1.00 29 0.207







2 A 7 7 1.00 29 0.241







3 A 6 6 1.00 27 0.222







4 A 5 5 1.00 27 0.185







5 A 5 5 1.00 29 0.172







6 A 7 6 1.00 29 0.207







7 A 4 4 1.00 30 0.133







8 A 3 3 1.00 30 0.100







9 A 3 3 1.00 28 0.107







10 A 4 4 1.00 28 0.143







11 A 3 3 1.00 30 0.100







12 A 3 3 1.00 30 0.100







13 A 4 4 1.00 30 0.133







14 A 3 3 1.00 30 0.100







15 A 3 3 1.00 28 0.107







16 A 4 4 1.00 28 0.143







17 A 3 3 1.00 30 0.100







18 A 3 3 1.00 30 0.100







19 A 7 6 1.00 31 0.194







20 A 7 7 1.00 31 0.226







21 A 6 6 1.00 29 0.207







22 A 5 5 1.00 29 0.172







23 A 5 5 1.00 31 0.161







24 A 7 6 1.00 31 0.194